Diseño de sistemas de computadores en tiempo real - Martin, James (Diana, 1980)