Kai Chen 0003 Janos Sztipanovits Sandeep Neema Compositional specification of behavioral semantics. 906-911 2007 conf/date/2007 DATE http://doi.acm.org/10.1145/1266366.1266562 db/conf/date/date2007.html#ChenSN07