Input/Output Compatibility of Reactive Systems | Publicación