Simona Bernardi Susanna Donatelli Giovanna Dondossola A class Diagram framework for collecting dependability requirements in automation systems. 276-283 2004 ISoLA (Preliminary proceedings) conf/isola/2004i db/conf/isola/isola2004i.html#BernardiDD04