Shiyuan Ding, Takuya Katayama. Specifying Reactive Systems with Attributed Finite State Machines. In Jack C. Wileden, editor, Proceedings of the 7th International Workshop on Software Specification and Design, Redondo Beach, CA, December 1993. pages 90-99, IEEE Computer Society, 1993.
Abstract is missing.