As Soon As Possible Formal