This paper describes a formal methods case study in which one module of an existing security system was re-developed using
the light-weight Vienna Development Method, supported by the IFAD Toolbox. With respect to the original version, formal methods
— even in its light-weight form — has increased software quality while the development efforts were comparable. The team that
has used conventional methods for the development of the original version discusses the relevance of the findings.