External Links

    Journal: Formal Methods in System Design

    Volume 34, Issue 3

    215 -- 237Paul Gastin, Nathalie Sznajder, Marc Zeitoun. Distributed synthesis for well-connected architectures
    238 -- 304Moez Krichen, Stavros Tripakis. Conformance testing for real-time systems
    runs on