Mila E. Majster-Cederbaum, Jinzhao Wu. Action Refinement for True Concurrent Real Time. In 7th International Conference on Engineering of Complex Computer Systems (ICECCS 2001), 11-13 June 2001, Skövde, Sweden. pages 58-68, IEEE Computer Society, 2001. [doi]
Abstract is missing.