Compilation of Z Specifications into C for Automatic Test Result Evaluation. - Erich Mikk (ZUM, 1995)

Hierarchical Automata as Model for Statecharts. - Erich Mikk; Yassine Lakhnech; Michael Siegel (ASIAN, 1997)

Implementing Statecharts in PROMELA/SPIN. - Erich Mikk; Yassine Lakhnech; Michael Siegel; Gerard J. Holzmann (WIFT, 1998)

Semantics and verification of statecharts. - Erich Mikk (2000)

The HiVy Tool Set. - Paula J. Pingree; Erich Mikk (CAV, 2004)