Formal design and analysis of FMS controller | IEEE Conference Publication | IEEE Xplore