Automatisiertes Testen mit Message Sequence Charts (MSCs). - Andrea Osterloh; Oscar Slotosch (MBEES, 2008)