Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography