Quantified Boolean formula techniques are used in determining QBF satisfiability. The level shifting signals are to control an output switching element of a high potential side of an output device that includes a power source and a load. A reconstruction processor reconstructs an image representation from the corrected radiation events. The elastic means is manufactured from a metallic material and has a plurality of spring coils, of which at least two spring coils have a geometric dimension which is different from the other spring coils. The control element allows for control over the behavior of the thermal management system, and the visibility element allows external devices to monitor the status of the thermal management system.