Lee, Stanley Sluizer, Suzanne An Executable Language for Modeling Simple Behavior - 527-543 p. Subjects--Topical Terms: State Transition AnalysisDeclarative Language