Use of abstract simulation at development of distributed systems | IEEE Conference Publication | IEEE Xplore