---------------------------------------------------------------------- -- node StableSwitch, -- output S is initially false and -- raises (false to true) if On is true, and -- falls (true to false) if Off is true ---------------------------------------------------------------------- node StableSwitch( On, Off : bool ) returns ( S : bool ); let S = false -> if pre S then not Off else On; tel