April , 12 th Stockholm In conjunction with CPSWEEK Workshop on Green and Smart Embedded System Technology : Infrastructures , Methods and Tools Workshop Proceedings