Real-Time Specification Using Lucid. - Skillicorn, D. B.; Glasgow, J. I. (IEEE Transactions on Software Engineering, 1989)