TY - BOOK AU - Aoumeur,Nasreddine AU - Saake,Gunter TI - Distributed Systems Specification and Runtime Manipulation of Their Features Using CO-NETS: Application to a System With Several Lifts PY - 2001/// CY - Magdeburg PB - Otto von Guericke Universitat N1 - bibliogr ER -