Models in Hardware Testing: Lecture Notes of the Forum