Books by IEEE Workshop on Languages for Automation.