Bell,, "On the decidability and complexity of problems for restricted hierarchical hybrid systems", Theoretical Computer Science, 2016