An introduction to using Klocwork Checker Studio to create a KAST expression (2:11 min.)