DVS - A System for Recording, Archiving and Retrieval of Digital Video in Security Environments. - Wolfgang Herzner; Matthias Kummer; Michael Thuswald (HIM, 1997)

A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module. - Georg Droschl; Walter Kuhn; Gerald Sonneck; Michael Thuswald (SAFECOMP, 2000)