Return to Article Details State-oriented models in software specification Download Download PDF