Jan F. Broenink, Christian Kleijn, Peter Gorm Larsen, Dusko S. Jovanovic, Marcel Verhoef, Kenneth Pierce. Design support and tooling for dependable embedded control software. In Giovanna Di Marzo Serugendo, John S. Fitzgerald, editors, Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, SERENE '10, London, United Kingdom, April 15-16, 2010. pages 77-82, ACM, 2010. [doi]
Abstract is missing.