Port seq aRTA

added 3 commits

• bcb215a2 - Change a few things
• c5cc7666 - Making progress
• 4b29baca - Move file

Compare with previous version

added 6 commits

• e4a68a8c - Move file
• 02de4b77 - Move some files
• 85619fab - Done with one proof
• 909a569f - Making progress
• 3e183359 - Move file
• a0f8c413 - Update

Compare with previous version

added 5 commits

• 3fca3c4f - Done with a small proof
• 7409c736 - Del incremental proof
• 8d8d936b - Del low service idle proof
• 234539bb - Done with proofs
• 857726dc - Shorten proof

Compare with previous version

added 1 commit

• acd5d1f1 - Update

Compare with previous version

added 1 commit

• 402e0b69 - Add sketch of case analysis

Compare with previous version

added 1 commit

• 7734f200 - Move file back

Compare with previous version

added 3 commits

• 138b82ca - Fix some comments
• d3bbc054 - Fix notation
• afe45c49 - Fix more comments

Compare with previous version

added 1 commit

• c65b62e9 - Fix comments

Compare with previous version

added 1 commit

• e4d328ac - Fix typo

Compare with previous version

added 1 commit

• 5ba3727f - Fix comments

Compare with previous version

unmarked as a Work In Progress

assigned to @bbb and unassigned @sbozhko