Stepwise CTL Model Checking of State/Event Systems. - Jørn Lind-Nielsen; Henrik Reif Andersen (CAV, 1999)

Partial Model Checking of Modal Equations: A Survey. - Henrik Reif Andersen; Jørn Lind-Nielsen (Int. J. Softw. Tools Technol. Transf., 1999)

Practical Verification of Embedded Software. - Jørgen Staunstrup; Henrik Reif Andersen; Henrik Hulgaard; Jørn Lind-Nielsen; Kim Guldstrand Larsen; Gerd Behrmann; Kåre J. Kristoffersen; Arne Skou; Henrik Leerberg; Niels Bo Theilgaard (Computer, 2000)

Verification of Large State/Event Systems Using Compositionality and Dependency Analysis. - Jørn Lind-Nielsen; Henrik Reif Andersen; Henrik Hulgaard; Gerd Behrmann; Kåre J. Kristoffersen; Kim Guldstrand Larsen (Formal Methods Syst. Des., 2001)

Verification of Hierarchical State/Event Systems using Reusability and Compositionality. - Gerd Behrmann; Kim Guldstrand Larsen; Henrik Reif Andersen; Henrik Hulgaard; Jørn Lind-Nielsen (Formal Methods Syst. Des., 2002)