Sofiène Tahar Ramayya Kumar Formal Specification and Verification Techniques for RISC Pipeline Conflicts. 111-120 1995 38 Comput. J. 2 db/journals/cj/cj38.html#TaharK95