Oscar Soria Dustmann, Raimondas Sasnauskas, Klaus Wehrle: Symbolic System Time in Distributed Systems Testing. ICST 2012: 893-894