From Implicit Specifications to Explicit Designs in Reactive System Development.

Kevin Lano David Clark Kelly Androutsopoulos From Implicit Specifications to Explicit Designs in Reactive System Development. 49-68 2002 conf/ifm/2002 IFM http://link.springer.de/link/service/series/0558/bibs/2335/23350049.htm db/conf/ifm/ifm2002.html#LanoCA02