Authors: Chan, W Anderson, RJ Beame, P Jones, DH Notkin, D Warner, WE

Citation: W. Chan et al., Optimizing symbolic model checking for statecharts, IEEE SOFT E, 27(2), 2001, pp. 170-190