Proceedings of the conference on Software for citical systems
ACM Digital Library