Extracting threads from concurrent objects for the design of embedded systems | IEEE Conference Publication | IEEE Xplore