Rigorous Requirements for Real-Time Systems: Evolution and Application of the SCR Method (Tutorial).

Stuart R. Faulk, Constance L. Heitmeyer

Browse the full ICSE paper archive.