Modeling Components and Component-Based Systems in KobrA. - Colin Atkinson 001; Philipp Bostan; Daniel Brenner; Giovanni Falcone; Matthias Gutheil; Oliver Hummel; Monika Juhasz; Dietmar Stoll (CoCoME, 2007)

Specifying High-Assurance Services. - Colin Atkinson 001; Daniel Brenner; Giovanni Falcone; Monika Juhasz (Computer, 2008)