Formal modeling and verification of scalable process-aware distributed iot applicationsRakesh JainKais Klaiet al.2019ISPA/BDCloud/SustainCom/SocialCom 2019