Roadmap for a formal approach to reduce inconsistencies in enterprise architecture views - Overbeek, Sietse; Cerone, Antonio; Janssen, Marijn (Preliminary Proceedings of the 3rd International Workshop on Formal Methods for Interactive Systems (FMIS 2009), Eindhoven, The Netherlands, November 2, 2009, 2009)