@inproceedings{ACHP10, <br>AUTHOR = {Alkassar, E. and Cohen, E. and Hillebrand, M. and Pentchev, H.},<br>TITLE = {Modular Specification and Verification of Interprocess Communication},<br>YEAR = {2010},<br>URL = {http:///publikationen/ACHP10.pdf}, <br>BOOKTITLE = {Formal Methods in Computer Aided Design (FMCAD) 2010}, <br>PUBLISHER = {IEEE},<br>}