Dynamic Properties of Enterprise Information System Based on Formal Representation | IEEE Conference Publication | IEEE Xplore