Javier Cámara Moreno Associate Professor 951 953 462 jcamara@uma.es Personal Website Critical Infrastructures, Public Safety and Smart City Model based Specification, Analysis and Testing Application Management for Cloud-Fog-Edge Industrial Internet of Things and Digital Twins