Test automation
Developing of a safety-critical standard for the Swiss railways (SBB) with xUML and UTP Markus Schacher, KnowBody Hohlstrasse 534, 8048 Zürich, Switzerland.