Gerd Behrmann Kim Guldstrand Larsen Henrik Reif Andersen Henrik Hulgaard Jørn Lind-Nielsen Verification of Hierarchical State/Event Systems using Reusability and Compositionality. 225-244 2002 21 Formal Methods in System Design 2 db/journals/fmsd/fmsd21.html#BehrmannLAHL02