An Operational Approach to Requirements Specification for Embedded Systems

P. Zave
1982 IEEE Transactions on Software Engineering  
RedA time mwion l embedded systems am much expressed as a set of assertions about properties of the solu-"or to desg than ordnary s 17. R.C. Wawm "Expressional Loops"
doi:10.1109/tse.1982.235254 fatcat:qui25a5x2jbi5plaklc6xyiixq