MODELS IN HARDWARE TESTING: LECTURE NOTES OF THE FORUM IN HONOR OF CHRISTIAN LANDRAULT, SERIES: FRONTIERS IN ELECTRONIC TESTING, VOL. 43