Kai Chen, Janos Sztipanovits, Sandeep Neema: Compositional specification of behavioral semantics. DATE 2007: 906-911