Software measurement and formal methods: a case study centered on TRIO+ specifications | IEEE Conference Publication | IEEE Xplore