selected publications conference paper Modeling architecturally neutral realtime systems 2007 Issues in building an ANRTS platform 2006