Integrating Users Logic Into Requirements Engineering for Connected Healthcare co-Design Topics: Requirements Engineering; Service-Oriented Software Engineering; User-Centered Software Engineering In Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering ENASE - Volume 1, 480-485, 2019 , Heraklion, Crete, Greece