Guillermo A. Alvarez Flaviu Cristian Simulation-based Testing of Communication Protocols for Dependable Embedded Systems. 93-116 2000 16 The Journal of Supercomputing 1-2 http://dx.doi.org/10.1023/A:1008185530601 db/journals/tjs/tjs16.html#AlvarezC00