Proceedings of the conference on Software for citical systems Journal