State Space Reduction in SDL Models of Fault-Tolerant Systems.

Sabine M. Böhm Klaus Echtle State Space Reduction in SDL Models of Fault-Tolerant Systems. 2004 conf/ipps/2004 IPDPS http://csdl.computer.org/comp/proceedings/ipdps/2004/2132/12/2132120206babs.htm db/conf/ipps/ipdps2004-w11.html#BohmE04