Model verification in lambda sigma : a type inference approach | IEEE Conference Publication | IEEE Xplore