Title: RTS la - ein System zur formalen Beschreibung und Simulation komplexer Schaltwerke