real-time systems,formal specification and automatic verification

ernst-rudiger olderog · cambridge univ pr