Patrick C. Fischer Chandra M. R. Kintala Real-Time Computations with Restricted Nondeterminism. 219-231 1979 12 Mathematical Systems Theory db/journals/mst/mst12.html#FischerK79