selected publications academic article An approach for evaluating enterprise organizational interoperability based on enterprise model checking techniques. IFAC Proceedings Volumes. 41:12899-12904. 2008