Ken Hines Gaetano Borriello Debugging Distributed Implementations of Modal Process Systems. 98-107 1998 conf/lctrts/1998 LCTES http://link.springer.de/link/service/series/0558/bibs/1474/14740098.htm db/conf/lctrts/lctes1998.html#HinesB98