[Heinrich Rust] ..Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and hybrid systems /.Springer,,c2005..
Operational Research Society (Great Britain),Operational Research Club..OR, operational research quarterly.Published by Pergamon Press for the Operational Research Society, London,.