A generic harness for the systematic generation of multiple models | IET Conference Publication | IEEE Xplore