Static vs. Dynamic validation of BSP conformanceStefan Prennschütz-SchützenauNirmal K. Mukhiet al.2009ICWS 2009