Another version of aoutomata object cooperation language with interpreter and ability for LTL verification