Jørn Lind-Nielsen Henrik Reif Andersen Henrik Hulgaard Gerd Behrmann Kåre J. Kristoffersen Kim Guldstrand Larsen Verification of Large State/Event Systems Using Compositionality and Dependency Analysis. 5-23 2001 18 Formal Methods in System Design 1 db/journals/fmsd/fmsd18.html#Lind-NielsenAHBKL01