A structured approach towards system-level testability of hardware/software systems door H.P.E. Vranken