my take is that this is not about the definition of revenue or the Otis agreements (ie, not about if accounting standards allow those $$ to be included in revenue)
from what I read it is about, amongst other things, what was market disclosed (and when) and if the work was actually completed when invoiced as finished.