selected publications book Formal specification of a self-sustainable holonic system for smart electrical micro-grids. Ed. 694. 2017
