Иванов, С. "VERIFIER": ОПЫТ ПРИМЕНЕНИЯ. CTE 2013.