State analysis is a systems engineering methodology that improves on the current state-of-the-practice. It does so by leveraging a state-based control architecture to produce requirements on system and software de- sign in the form of explicit models of system ehavior. This provides a common language for systems and software engineers to communicate, and thus bridges the usual gap between ...