On static execution-time analysis