Title: Control problems in a temporal logic setting
First published: 1985