Jörg Bauer Ina Schaefer Tobe Toben Bernd Westphal Specification and Verification of Dynamic Communication Systems. 189-200 2006 conf/acsd/2006 ACSD http://doi.ieeecomputersociety.org/10.1109/ACSD.2006.29 db/conf/acsd/acsd2006.html#BauerSTW06