Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs.

Jan van Katwijk, Hans Toetenel, Abd-El-Kader Sahraoui, Eric Anderson, Janusz Zalewski

Browse the full SAFECOMP paper archive.