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