This article first appeared on the Siemens Digital Industries Software blog at https://blogs.sw.siemens.com/verificationhorizons/2010/10/11/iec-47th-general-assembly-meeting/