On Designing an ACL2-Based C Integer Type Safety Checking Tool. - Kevin Krause; Jim Alves-Foss (NASA Formal Methods, 2013)