Prozessleittechnik für die Verfahrensindustrie by Michael Felleisen