Sumit Kumar Jha Bruce H. Krogh Oded Maler Rob A. Rutenbar