Methods of distributed systems' structured modelling | IEEE Conference Publication | IEEE Xplore