On the use of pre-defined implementation constructs in distributed systems design | IEEE Conference Publication | IEEE Xplore