The DS-Pnet modeling formalism for cyber-physical system development - Pereira, Fernando Joaquim Ganhão (2017)