Samir Tata, Kais Klai, Rakesh Jain: Formal Model and Method to Decompose Process-Aware IoT Applications. OTM Conferences (1) 2017: 663-680