Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts.

William Chan, Richard J. Anderson, Paul Beame, David H. Jones, David Notkin, William E. Warner

Browse the full ICSE paper archive.