1. The RAISE Language Group. The RAISE Specification Language, BCS Practitioner Series. Prentice Hall, 1992.
2. The RAISEMethod Group. The RAISE Development Method. BCS Practitioner Series. Prentice Hall, 1995. Available by ftp from ftp://ftp.iist.unu.edu/pub/RAISE/method book.
3. A. Haxthausen and X. Yong. A RAISE Specification Framework and Justification Assistant for the Duration Calculus. In Proceedings of ESSLLI-98 Workshop on Duration Calculus, pages 51–58, 1998.
4. L. Li and J. He. A Denotational Semantics of Timed RSL using Duration Calculus. In RTCSA’99: Proceedings of The Sixth International Conference on Real-Time Computing Systems and Applications, pages 492–503. IEEE Computer Society Press, December 1999.
5. C.W. George and X. Yong. An Operational Semantics for Timed RAISE. In Jeannette M. Wing, Jim Woodcock, and Jim Davies, editors, FM’99: Proceedings of the World Congress on Formal Methods in the Development of Computing Systems, Volume 2, number 1709 in Lecture Notes in Computer Science, pages 1008–1027. Springer, September 1999.