This monograph proposes how to manage complexity by organizing the system as a State Tree Structure (STS). an efficient recursive ...