Title: IEEE Workshop on Languages for Automation (83ch1937-2)