ormally_analyzing_expected_time.pdf;/974502/1/formally_analyzing_expected_time.pdf