Design, formalization and realization of Harmonic Box Coordination Language: an externally timed specification substrate for arbitrarily reliable distributed systems Samuel R. J. George <file:///home/chronos/u-9c74148663d35d956e0019e77648aeb303b2bd32/MyFiles/Downloads/Samuel%20R.%20J.%20George%20(1).pdf|HBCL>