A Temporal Many-Valued Logic for Real Time Control Systems | Publicación