1. Elasticity in cloud computing: state of the art and research challenges;Al-Dhuraibi;IEEE Trans. Serv. Comput.,2017
2. Principles of model checking;Baier,2008
3. Fog computing and its role in the internet of things;Bonomi,2012
4. Cisco, Fog computing and the internet of things: Extend the cloud to where the things are, 2015.
5. All about maude-a high-performance logical framework: How to specify, program and verify systems in rewriting logic;Clavel,2007