Static vs. Dynamic Validation of BSP Conformance. - Stefan Prennschütz-Schützenau; Nirmal Mukhi; Satoshi Hada; Naoto Sato; Fumiko Satoh; Naohiko Uramoto (ICWS, 2009)