Iterative System Tuning for Proactive Systems by Formal Verification and System Prototype: System Prototype Program Interface

Minyoung Kim, Mark-Oliver Stehr, Carolyn Talcott, Kyoungwoo Lee, Nikil Dutt, Nalini Venkatasubramanian, "Iterative System Tuning for Proactive Systems by Formal Verification and System Prototype: System Prototype Program Interface", TR 07-02, January 2007. Complete TR is available upon request