Robotic System Specification Language (RSSL)  wywodzi się z podejścia agentowego do projektowania systemów zrobotyzowanych. Umożliwia on specyfikację zarówno struktury, jak i działań wieloagentowego systemu robotycznego z wieloma robotami. Specyfikacja RSSL może być weryfikowana i automatycznie przekształcana przez kompilator w Robotic System Hierarchical Petri Net (RSHPN). RSHPN modeluje działania i strukturę zaprojektowanego systemu robotycznego. Automatycznie wygenerowana sieć RSHPN jest ładowana do narzędzia RSHPN Tool modelującego sieci RSHPN i automatycznie generującego kod kontrolera. Podejście to zostało zweryfikowane na kilku systemach zrobotyzowanych. Zastosowanie RSSL i RSHPN ułatwia syntezę kontrolerów systemów zrobotyzowanych.