Search results
Journal of Systems and Software > 2016 > 121 > C > 311-328
IEEE Software > 2010 > 27 > 1 > 10 - 11
The Journal of Systems & Software > 2007 > 80 > 5 > 678-686
The Journal of Systems & Software > 2007 > 80 > 4 > 493-509
2007 44th ACM/IEEE Design Automation Conference > 545 - 550