Finding Clarity and Focus for Complex Embedded System Security | Finite State Security Shorts