A Form System for an Object-Oriented Database System. - Christine Collet; Eric Brunel (DEXA, 1991)

Definition and Manipulation of Forms with FO2. - Christine Collet; Eric Brunel (VDB, 1991)

Property Verification with MSC. - Emmanuel Gaudin; Eric Brunel (SDL Forum, 2013)

Language Agnostic Model Checking for SDL. - Emmanuel Gaudin; Eric Brunel; Mihal Brumbulli (MoDELS (Companion), 2023)