Strategies For Real Time System Specification door Derek J. Hatley & Imtiaz A. Pirbhai