Building a Body of Knowledge on Model Checking for Software Development | IEEE Conference Publication | IEEE Xplore