@inproceedings{ffef0db3788245d7aa20de1188ab18e5,
title = "Incorporating formal techniques into industrial practice : an experience report",
abstract = "We report about experiences at Philips Healthcare with component-based development supported by formal techniques. The formal Analytical Software Design (ASD) approach of the company Verum has been incorporated into the industrial workflow. The commercial tool ASD:Suite supports both compositional verification and code generation for control components. For other components test-driven development has been used. We discuss the results of these combined techniques in a project which developed the power control service of an interventional X-ray system.",
author = "A.A.H. Osaiweran and M.T.W. Schuts and J.J.M. Hooman and J.H. Wesselius",
year = "2013",
doi = "10.1016/j.entcs.2013.04.005",
language = "English",
series = "Electronic Notes in Theoretical Computer Science",
pages = "49--63",
booktitle = "9th International Workshop on Formal Engineering Approaches to Software Components and Architectures (FESCA'12, Tallinn, Estonia, March 31, 2012)",
}