Rapid property specification and checking for model-based formalisms | IEEE Conference Publication | IEEE Xplore