This scenario, or variants of it with a subset of the design constraints below, has
been studied
by [1]}, [2]}, [3]}, [4]}, [5]}. Given the
company's description of their scenario, we define the following design constraints:
