@article{PP2010, author = {Post, Amalinda and Podelski, Andreas}, title = {Automatische Validierung von Verhaltensanforderungen}, journal = {Softwaretechnik-Trends}, volume = {30(4)}, year = {2010} }