Incremental Design of a State Machine Specification for Mobile and Real-Time Systems . - Goichi Itabashi; Kaoru Takahashi; Yasushi Kato; Takuo Sugamma; Norio Shiratori (AINA, 2005)