KAOS-B: A Goal-oriented Process Model for EIS In Proceedings of the 8th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 0ICEIS, 40-49, 2010 , Funchal, Madeira, Portugal