Uwe Petermann Towards dependable development tools for embedded systems: a case study in software verification. 489-498 2000 12 J. Exp. Theor. Artif. Intell. 4 db/journals/jetai/jetai12.html#Petermann00