"Closed-loop determinism for non-deterministic environments: Verification ..."

Lindsay V. Allen, Kiah Mok Goh, Dawn M. Tilbury (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics