Kharchenko, Vyacheslav, Chris Phillips, and Popov Peter. MASTAC: New Curriculum for Master and Doctoral Studies in Critical Software and Computing In International Conference on Software Engineering  SEESE Workshop. Leipzig, 2008.