Dimosthenis Anagnostopoulos Vassilis Dalakas Mara Nikolaidou Vassilios C. Vescoukis A Structured-Analysis-Based Specification for Faster-than-Real-Time Simulation. 43-56 2008 15 I. J. Comput. Appl. 1 db/journals/isca/isca15.html#AnagnostopoulosDNV08