Werner Damm Challenges in the Verification of Electronic Control Units. 18 http://link.springer.de/link/service/series/0558/bibs/1926/19260018.htm 2000 conf/ftrtft/2000 FTRTFT db/conf/ftrtft/ftrtft2000.html#Damm00