LIMITS - OMT with timing analysis support
Näks, Tõnu
Workshop on Tool Support for System Development and Verification, Bremen, June 1996
1996