Join
Chennai Mathematical Institute: Model Checking
https://www.youtube.com/watch?v=RVOI7StMhMo