Graphical Views of Process-Orientated Specifications. - David W. Bustard; Adam C. Winstanley; Mark T. Norris; Rodney A. Orr; S. Patel (FORTE, 1988)

Tools to Support Formal Methods. - S. Patel; Rodney A. Orr; Mark T. Norris; David W. Bustard (ICSE, 1989)

Set-up time reduction and mistake proofing methods - A study of application in a small company. - S. Patel; P. Shaw; Barrie G. Dale (Bus. Process. Manag. J., 2001)