Formal Modelling of Smart Grids: Configurability vs. Conventionality | IEEE Conference Publication | IEEE Xplore