Parity and generalised Büchi automata : determinisation and complementation. - Praveen Thomas Methrayil Varghese (2014)