No abstract

In this paper we apply the tool UPPAAL 1 to an automatic analysis of a version of the Philips Audio Control Protocol with two senders and bus collision handling. This case study is significantly larger than the real-time/hybrid systems previously analysed by automatic tools. During the case study the tool UPPAAL was extended with a new feature, committed 1oca$ions, allowing efficient modelling of broadcast communication.

No abstract

The mothers of a consecutive series of 125 same sexed pairs of twins aged 6 months to 6 1/2 years completed a mailed questionnaire concerning the physical similarity of the twin partners. Zygosity diagnoses were first determined blindly on the basis of the answers given by the mothers, who did not know the result of the blood group test when fulfilling the questionnaire. Next, the results were compared with the zygosity determination based on examination of erythrocyte-, serum- and enzyme-groups. It turned out that a few simple questions distinguished well enough between MZ and DZ pairs, with a frequency of misclassification of 4%, leaving 5% as unclassifiable. It is concluded that twin zygosity can be estimated by a simple questionnaire with sufficient accuracy even in very young twin pairs. This has relevant implications for more extensive twin studies where the use of a wide spectrum of serological characters would imply too high expenses.

No abstract