Academia and industry meet: some experiences of formal methods in practice | IEEE Conference Publication | IEEE Xplore