5 papers:
CAV-2000-BienmullerDW #verification- The STATEMATE Verification Environment — Making It Real (TB, WD, HW), pp. 561–567.
- CAV-1998-BrockmeyerW #design #realtime #verification
- Real-Time Verification of Statemate Designs (UB, GW), pp. 537–541.
FME-1997-PetersohnU #implementation #semantics- A Timed Semantics for the STATEMATE Implementation of Statecharts (CP, LU), pp. 553–572.
ISSTA-1993-Thevenod-FosseW #statistics #testing- STATEMATE Applied to Statistical Software Testing (PTF, HW), pp. 99–109.
ICSE-1988-HarelLNPPSS #development- STATEMATE; A Working Environment for the Development of Complex Reactive Systems (DH, HL, AN, AP, MP, RS, AST), pp. 396–406.
