Malla, R and Patnaik, LM (1994) Automatic verification of distributed logic specifications. In: Microprocessing & microprogramming, 40 (1). pp. 43-56.