Responsiveness of Service Discovery in Wireless Mesh Networks. - Andreas Dittrich; Daniel Solis Herrera; Pablo Coto; Miroslaw Malek (PRDC, 2014)

SCV2: A model-based validation and verification approach to system-of-systems engineering. - Rami Baddour; Alkiviadis Paspaliaris; Daniel Solis Herrera (SoSE, 2015)