TITLE     : Property-driven software engineering approach.
AUTHOR(S) : Di Marco A, Lonetti F, De Angelis G
TYPE      : Conference article
YEAR      : 2012
CODE      : 215565

*** DO NOT EDIT THIS FILE ***