selected publications academic article Modeling security as a dependability attribute: a refinement-based approach. Innovations in Systems and Software Engineering. 2:39-48. 2006