Posidelki 2013 updated slides with BDD slides and Tools
Posidelki 2013 added pdf version