Mention the venues of the other papers published by the authors of 'Hard real-time embedded operating systems'.
In which venues were the other papers published by the authors of 'Hard real-time embedded operating systems'?
SELECT DISTINCT ?answer WHERE { <https://dblp.org/rec/journals/mam/Cooling94a> <https://dblp.org/rdf/schema#authoredBy> ?x . ?y <https://dblp.org/rdf/schema#authoredBy> ?x . ?y <https://dblp.org/rdf/schema#publishedIn> ?answer FILTER (?y != <https://dblp.org/rec/journals/mam/Cooling94a>) }
<https://dblp.org/rec/journals/mam/Cooling94a>