Tiziana Margaria Volker Braun Formal Methods and Customized Visualization: A Fruitful Symbiosis. 190-207 1998 conf/tacas/1998acos Services and Visualization: Towards User-Friendly Design http://link.springer.de/link/service/series/0558/bibs/1385/13850190.htm db/conf/tacas/acos1998.html#MargariaB98