Guest Editor's Introduction: Rapid System Prototyping
D. Drusinsky, Man-Tak Shing, K.A. Demir · IEEE Distributed Systems Online · 2007
Integrating formal assertions into the modeling, implementation, and testing of statechart-based designs can enhance a system's robustness by providing runtime monitoring and recovery from assertion failures.