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