Email Record: Introduction to state-variable analysis /