Formal Development of a Complex Information System | IEEE Conference Publication | IEEE Xplore