Campos JC, Harrison M.? 2001.??Model checking interactor specifications. Automated Software Engineering. 8:275-310.