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