Formal Verification of LabVIEW Programs Using the ACL2 Theorem Prover - Matt Kaufmann; Jacob Kornerup; Mark Reitblatt; The Pennsylvania State University CiteSeerX Archives (http://www.cs.utexas.edu/users/sandip/acl2-09/final/16/16.pdf)