?url_ver=Z39.88-2004&rft_id=doi%3A10.1007%2F978-3-319-47166-2_38&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.au=Abd+Alrahman%2C+Yehia+Moustafa&rft.aulast=Abd+Alrahman&rft.aufirst=Yehia+Moustafa&rft.btitle=Leveraging+Applications+of+Formal+Methods%2C+Verification+and+Validation%3A+Foundational+Techniques&rft.issn=0302-9743&rft.title=Programming+of+CAS+Systems+by+Relying+on+Attribute-Based+Communication&rft.isbn=978-3-319-47166-2&rft.date=2016&rft.genre=bookitem