Test derivation for SDL based on ACTs. - Finn Kristoffersen; Louis Verhaard; Michael Zeeberg (FORTE, 1992)