LAPLANTE (PHILLIP.A) Real time systems designed analysis - NEW YORK IEEE Press Dewey Class. No.: 004.33 / LAP