Zaslat SMS: Handbook of truly concurrent process algebra /