FAST: Formal specification driven test harness generation | IEEE Conference Publication | IEEE Xplore