Wolfgang Reif Gerhard Schellhorn J.UCS Special Issue on Tools for System Design and Verification - Part 2. 105-106 2001 7 J. UCS 2 http://www.jucs.org/jucs_7_2/tools_for_system_design db/journals/jucs/jucs7.html#ReifS01a