Programmable Electronic System Analysis Technique in Safety Critical Applications. - Meine Jochum Peter van der Meulen; Tor Stålhane; B. Cole (SAFECOMP, 1993)