G. Böckle, C. Störmann, and I. Wildgruber. Parallel Computer Architectures, volume 732 of Lecture Notes in Computer Science, page 118-132. Springer, (1993)
J. Cuéllar, and I. Wildgruber. Formal Methods for Industrial Applications, volume 1165 of Lecture Notes in Computer Science, page 184-202. Springer, (1995)
J. Cuéllar, and I. Wildgruber. Formal Methods for Industrial Applications, volume 1165 of Lecture Notes in Computer Science, page 165-183. Springer, (1995)