Behaviorally Typed State Machines in TypeScript for Heterogeneous Swarms. - Roland Kuhn 002; Alan Darmasaputra (ISSTA, 2023)