Värdering av säkerhetskritisk elektronik och programvara Gunnerhed M Försvarets forskningsanstalt (FOA) 1991-11-01