"Automata (computation)" . "Global Positioning System" . "Software quality" . "Synchronization" .