The top documents tagged [d transition systems]