DICES : distributed component-based embedded software systems - Žagar, Mario (Array, 2012)