A temporal logic approach to the specification of reconfigurable component-based systems | IEEE Conference Publication | IEEE Xplore