Slicing communicating automata specifications: polynomial algorithms for model reduction Sébastien LabbéJean-Pierre Gallois Original Article 13 August 2008 Pages: 563 - 595
Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine Robert M. HieronsFlorentin Ipate Original Article 23 September 2008 Pages: 597 - 617
Network invariants for real-time systems Olga GrinchteinMartin Leucker Original Article 07 October 2008 Pages: 619 - 635
On the correctness of upper layers of automotive systems Jewgenij BotaschanjanManfred BroyMaria Spichkova Original Article 25 November 2008 Pages: 637 - 662