specification EXPERIMENT_18 [OPEN, CLOSE, 
   PRED1, SUCC1, PRED2, SUCC2, PRED3, SUCC3] : noexit
 
behaviour

   library NETWORK_WITHOUT_CRASHES endlib

where

   library DATA, LINK_5, LE_LANN_STATION_REVISION_1 endlib

endspec