@Inproceedings{
blahl-1999-vhs,
  title = {Verification of Hierarchical State/Event Systems using Reusability and Compositionality},
  author = {Gerd~Behrmann and Kim~G.~Larsen and Henrik~Reif~Andersen and 
            Henrik~Hulgaard and J\o{}rn Lind-Nielsen},
  booktitle = {{TACAS: Tools and Algorithms for the Construction and
               Analysis of Systems}},
  publisher = {Lecture Notes in Computer Science},
  year = {1999}
}