Tutorial AAAI 2006 Tutorial Forum
Model Checking in Ten Minutes
Moscow ACM/SIGMOD Chapter EDBT/ICDT 2014 ICDE 2014