Modelling Energy Consumption in Embedded Systems with VDM-RT. - José Antonio Esparza Isasa; Peter Würtz Vinther Jørgensen; Claus Ballegård Nielsen; Stefan Hallerstede (ABZ, 2014)

Distributed ICT Architecture for Developing, Configuring and Monitoring Mobile Embedded Healthcare Systems. - Finn Overgaard Hansen; Troels Fedder Jensen; José Antonio Esparza Isasa (HEALTHINF, 2014)

ICT-enabled Medical Compression Stocking for Treatment of Leg Venous Insufficiency. - Troels Fedder Jensen; Finn Overgaard Hansen; José Antonio Esparza Isasa; Peter Høgh Mikkelsen; Tomi Hakala; Timo Vuorela (BIODEVICES, 2014)

Energy-Aware Model-Driven Development of a Wearable Healthcare Device. - José Antonio Esparza Isasa; Peter Gorm Larsen; Finn Overgaard Hansen (FHIES/SEHC, 2014)

Hardware In the Loop for VDM-Real Time Modeling of Embedded Systems. - José Antonio Esparza Isasa; Peter Würtz Vinther Jørgensen; Peter Gorm Larsen (MODELSWARD, 2014)

A holistic approach to energy-aware design of cyber-physical systems. - José Antonio Esparza Isasa; Peter Gorm Larsen; Finn Overgaard Hansen (Int. J. Embed. Syst., 2017)