publication venue for A temporal logic approach to the specification of reconfigurable component-based systems 2002
