See also High-Level System Design and Analysis, which considers many common models of computation and compares them to ASMs.