Discovering vesicle traffic network constraints by model checking.

Discovering vesicle traffic network constraints by model checking.