Model-based tool support for Service Design - Perez-Blanco, Francisco J.; Vara, Juan M.; Gomez, Cristian; De Castro, Valeria; Marcos, Esperanza; (Lecture Notes In Computer Science, 2020)

Formal Support of Process Chain Networks using Model-driven Engineering and Petri nets - Gómez-Martínez E., Pérez-Blanco F., De Lara J., Vara J., Marcos E. (SAC '19: PROCEEDINGS OF THE 34TH ACM/SIGAPP SYMPOSIUM ON APPLIED COMPUTING, 2019)