Distributed systems design supported by reflective writing and CATs | IEEE Conference Publication | IEEE Xplore