Zave, P. "An Operational Approach to Requirements Specification for Embedded Systems"

(1982) IEEE Transactions on Software Engineering 8(3) May 1982  

Languages mentioned PAISley {1982}