1. The internet of things: a survey;Atzori;Comput. Netw.,2010
2. Device Democracy;Brody,2014
3. Proof of activity: extending Bitcoin's proof of work via proof of stake;Bentov;IACR Cryptol.,2014
4. Secure and trusted execution: past, present, and future - a critical review in the context of the internet of things and cyber-physical systems;Shepherd,2016
5. A constrained ECA language supporting formal verification of WSNS;Corradini,2015