STRUCTURED DEVELOPMENT FOR REAL TIME SYSTEMS,VOL.2 - MELLOR,STEPHEN J, WARD,PAUL T (YP NEW YORK, 1985)