Volker Braun Jürgen Kreileder Tiziana Margaria Bernhard Steffen The ETI Online Service in Action. 439-443 1999 conf/tacas/1999 TACAS http://link.springer.de/link/service/series/0558/bibs/1579/15790439.htm db/conf/tacas/tacas99.html#BraunKMS99