Uwe Petermann Towards Dependable Development Tools for Embedded Systems: A Case Study in Software Verification. 351-355 2000 conf/flairs/2000 FLAIRS Conference db/conf/flairs/flairs2000.html#Petermann00