System-Level Testing Of Autonomous Vehicles Through Consistent Model Generation With Qualitative Abstractions And Abstract Coverage