Rigorous Requirements for Real-Time Systems: Evolution and Application of the SCR Method | IEEE Conference Publication | IEEE Xplore