Stefan Prennschütz-Schützenau Nirmal Mukhi Satoshi Hada Naoto Sato Fumiko Satoh Naohiko Uramoto Static vs. Dynamic Validation of BSP Conformance. 919-927 2009 ICWS http://dx.doi.org/10.1109/ICWS.2009.104 conf/icws/2009 db/conf/icws/icws2009.html#Prennschutz-SchutzenauMHSSU09