Automated Derivation of Time Bounds inUniprocessor Concurrent