Faily, Shamal, Lykou, Georgia, Partridge, Anton, Gritzalis, Dimitris, Mylonas, Alexios, Katos, Vasilis, "Human-centered specification exemplars for critical infrastructure environments.", , 2016