Title: Formal Modeling and Analysis of a Preliminary Small Aircraft Transportation System (SATS)Concept