Frank P. Burns, Albert Koelmans, Alexandre Yakovlev: Analysing Superscalar Processor Architectures with Coloured Petri Nets. Int. J. Softw. Tools Technol. Transf. 2(2): 182-191 (1998)