Extracting threads from concurrent objects for the design of embedded systems