A Feature Model of E-Government Systems Integrated with Formal Specifications | IEEE Conference Publication | IEEE Xplore