Worst-Case Execution Time Guarantees for Runtime-Reconfigurable Architectures