"From Implicit Specifications to Explicit Designs in Reactive System ..."

Kevin Lano, David Clark, Kelly Androutsopoulos (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics