Adaptation models Computer architecture Internet of things Job analysis Labelled transition systems Meta levels Model checker Model checking Models checking Pole and tower Poles and towers Reconnaissance Robots SPIN model checker Task analysis labeled transition system model checking reflection