What's Real in "Real-Time Control Systems"? - Applying Formal Verification Methods and Real-Time Rule-Based Systems to Control Systems and Robotics.

Albert Mo Kim Cheng What's Real in "Real-Time Control Systems"? - Applying Formal Verification Methods and Real-Time Rule-Based Systems to Control Systems and Robotics. 23-27 2004 conf/icinco/2004 ICINCO (Invited Speakers) db/conf/icinco/icinco2004.html#Cheng04