Jørgen Staunstrup Henrik Reif Andersen Henrik Hulgaard Jørn Lind-Nielsen Kim Guldstrand Larsen Gerd Behrmann Kåre J. Kristoffersen Arne Skou Henrik Leerberg Niels Bo Theilgaard Practical Verification of Embedded Software. 68-75 2000 33 IEEE Computer 5 http://computer.org/computer/co2000/r5068abs.htm db/journals/computer/computer33.html#StaunstrupAHLLBKSLT00