Rance Cleaveland Tiziana Margaria Bernhard Steffen 1-5 1997 1 STTT 1-2 db/journals/sttt/sttt1.html#CleavelandMS97 http://link.springer.de/link/service/journals/10009/bibs/7001001/70010001.htm