Generating well-synchronized multithreaded programs from software architecture descriptions | IEEE Conference Publication | IEEE Xplore