Azevedo, Luís Silva, Parker, David, Papadopoulos, Yiannis, Walker, Martin, Sorokos, Ioannis, Arau?jo, Rui Esteves, "Exploring the impact of different cost heuristics in the allocation of safety integrity levels", Lecture notes in computer science, 2014