[person] Submitted on 23 November, 2009 - 08:29 Organisation Linköpings Universitet, Linköping, Sweden Real Time Systems Laboratory, Department of Computer and Information Science Author of Support for Representation of Functional Behavior Specifications in AP-233 Editor of Provided definitions Wikipedia quotes Visit also Flags