A logic-inspired approach to reconfigurable system modelling