On liveness enforcement of DSSP net systems. - Daniel Clavel; Cristian Mahulea; Manuel Silva Suárez (CDC, 2016)

Operation planning of elective patients in an Orthopedic Surgery Department. - Daniel Clavel; Cristian Mahulea; Jorge Albareda; Manuel Silva Suárez (ETFA, 2016)

Towards efficient algorithms for planning surgeries in operation rooms. - Daniel Clavel; Cristian Mahulea; Jorge Albareda; Manuel Silva Suárez (ETFA, 2017)

From Healthcare System Specifications to Formal Models. - Daniel Clavel; Cristian Mahulea; Manuel Silva 001 (SMC, 2019)

On Liveness Enforcement of Distributed Petri Net Systems. - Daniel Clavel; Cristian Mahulea; Manuel Silva 001 (IEEE Trans. Autom. Control., 2023)