Lars Karlsson, Joakim Gustafsson:
Reasoning about Concurrent Interaction
Accepted for publication in Journal of Logic and Computation.

Ulf Nilsson, Siwert Streiffert, Anders Törne:
Detailed Design of Avionics Control Software
Accepted for publication in the proceedings of the 19th IEEE Real-Time Systems Symposium, Madrid, December 2-4, 1998.