A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
words, constraints that should be satisfied by such functions, enforcement monitors that describe the operational behaviour of enforcement functions, and enforcement algorithms that describe the implementation ... In this paper, we consider enforcement monitoring for systems where the physical time elapsing between actions matters. ... Acknowledgment The authors would like to thank the anonymous reviewers for their remarks and suggestions on an early version of this article. ...doi:10.1016/j.scico.2016.02.008 fatcat:lmhfrzzjrzevxod7tuonwlhqg4