RT-ASLAN: A specification language for real-time systems
- 1 September 1986
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. SE-12 (9), 879-889
- https://doi.org/10.1109/TSE.1986.6313044