@article{ref1,
title="Assessing the practical benefits of formal methods for software development",
journal="Safety science",
year="2002",
author="Droschl, G and Kuhn, W. and Sonneck, Gernot and Thuswald, M",
volume="40",
number="9",
pages="719-730",
abstract="We describe a case study where one software module of an existing physical access control system was re-developed using formal software development methods. Because of increased software quality and comparable development efforts, we are considering the use of formal methods for the future development of critical modules. Further results of this work include the identification of a critical property of the given requirements, as well as insights into overall requirements quality.<p />",
language="en",
issn="0925-7535",
doi="",
url="http://dx.doi.org/"
}