Henrik Schiøler Konstruktion, modellering og validering af sikkerhedskritiske SW systemer IDA foredrag 20.4.99 Why CISS ? Increasing demands in electronic equipments for…