@inproceedings{Krichen10-OPODIS,
author    = {Moez Krichen},
title     = {{A Formal Framework for Conformance Testing of
Distributed Real-Time Systems}},
booktitle = {OPODIS},
year      = {2010},
pages     = {139-142},
doi       = {10.1007/978-3-642-17653-1_12},
}