An M-Net Semantics for a Real-Time Extension of µSDL. - Hans Fleischhack; Josef Tapken (FME, 1997)

Tool-supported hierarchical design of distributed real-time systems. - Henning Dierks; Josef Tapken (ECRTS, 1998)

MOBY/PLC - A Design Tool for Hierarchical Real-Time Automata. - Josef Tapken (FASE, 1998)

MOBY/PLC - Graphical Development of PLC-Automata. - Josef Tapken; Henning Dierks (FTRTFT, 1998)

Implementing Hierarchical Graph-Structures. - Josef Tapken (FASE, 1999)

Modelling and Verifying of a 'Cash-Point Service' Using MOBY/PLC. - Henning Dierks; Josef Tapken (Formal Aspects Comput., 2000)

Model checking of duration calculus specifications. - Josef Tapken (2001)