module INTERFACE_WITH_CRASHES (DATA) is

-------------------------------------------------------------------------------

-- declaration of virtual process STATION, which is defined in the module:
--    GARAVEL_MOUNIER_STATION

process STATION [OPEN, CLOSE, CRASH:ACCESS, PRED, SUCC:PORT] (Ai:ADDR,
                                                              INIT:BOOL) is
   !virtual
end process

-------------------------------------------------------------------------------

-- declaration of virtual process LINK, which is defined in the modules:
--    LINK_1
--    LINK_2
--    LINK_3
--    LINK_4
--    LINK_5
--    LINK_6

process LINK [INPUT, OUTPUT:PORT] is
   !virtual
end process

-------------------------------------------------------------------------------

end module