selected publications chapter Towards a Formal Verification Approach for Service Component Architecture. Frontiers in artificial intelligence and applications. 2017