https://1library.org/document/q06p10gq-formal-speci-cation-sustainable-holonic-smart-electrical-micro.html