Rapid property specification and checking for model-based formalisms.
Daniel BalasubramanianGábor PapHarmon NineGabor KarsaiMichael R. LowryCorina S. PasareanuThomas PressburgerPublished in: International Symposium on Rapid System Prototyping (2011)