]> 2022-02-18T22:59:43+01:00 Taxonomy/supplement/Non-monotonic refinement for embedded systems 0 nl 2012-03-12T03:16:13Z 2455998.6362616 Taxonomy/supplement/Non-monotonic refinement for embedded systems