real time systems design and analysis solution manual