@misc {IOPORT.70377311,
    author       = {Aichernig, Bernhard K. and Griesmayer, Andreas and Johnsen, Einar Broch and Schlatte, Rudolf and Stam, Andries},
    title        = {Conformance testing of distributed concurrent systems with executable designs},
    howpublished = {FMCO, 61-81 (2008).},
    year         = {2008},
    doi          = {10.1007/978-3-642-04167-9_4},
    identifier   = {70377311},
}